This course introduced topics on automatas, their formal definitions and their output languages, including Chomsky hierarchy, deterministic finite automata, nondeterministic finite automata, and pushdown automata, as well as their mathematical proof.